Beta Reduction Constraints
نویسندگان
چکیده
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta reduction steps between partially known lambda terms. We show that beta reduction constraints can be expressed in an extension of CLLS by group parallelism. We then extend a known semi-decision procedure for CLLS to also deal with group parallelism and thus with beta-reduction constraints.
منابع مشابه
Placement and Sizing of Various Renewable Generations in Distribution Networks with Consideration of Generation Uncertainties using Point Estimate Method
Abstract: Deploying Distributed Generation (DG) units has increased due to yearly increase of electric energy demand and technological advancements beyond Smart Grid. Although, DGs offer several advantages such as reducing economic costs and environmental impacts, the operation of these units in power systems creates several problems. In this paper, optimal allocation and sizing of DG units in ...
متن کاملUnderspecified Beta Reduction
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can produce compact descriptions of all readings, but it is not known how to perform -reduction on these descriptions. We show how to do this using -reduction constraints in the constraint language for -structures (CLLS).
متن کاملBeta-Thalassemia Carrier Detection by NESTROFT: An Answer in Rural Scenario?
Background and Objectives: Beta-thalassemia continues to be a cause of significant burden to the society particularly in the poorer developing countries. Although sophisticated methods of screening have become available, a hunt for a cheap, rapid, objective screening method still remains elusive. Thus, the objectives are to study the validity of Naked-Eye-Single-Tube-Osmotic-Fragility-Test (NES...
متن کاملThe effect of eight weeks of concurrent exercise on NT-proBNP and ferritin serum levels of Beta Thalassemia Major patients
Introduction: Nowadays one of the most important problems of Thalassemia major patients is the additional load of iron and hemosiderosis, the most important consequence of which is deposited iron in myocardial tissue and the incidence of cardiomyopathy caused by hemochromatosis. The aim of this study was to determine the effect of concurrent (resistance-endurance) exercise on NT-pro BNP and...
متن کاملThe Effect of Financial Development on the Investment of the Companies Listed on the Tehran Stock Exchange
The present study examined the impact of financial development on the investment of the companies listed on the Tehran Stock Exchange. To achieve this goal, data gathered from 258 companies during 2005 to 2016 and the dynamic generalized method of moments were utilized to formulate the investment model with financial constraints. The results of the study showed that these companies faced financ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001